Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
831	Global Learning of Entailment Graphs Jonathan Berant Joint work with Ido Dagan and Jacob Goldberger January, 2011 Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:01 WordNet Entailment Textual entailment Argument Logic Logical consequence Science
832	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
833	Table of Contents 6. Aesthetics: Appreciating the Appearances Georg Maier Appreciating as a Mode of Cognition Add to Reading List Source URL: natureinstitute.org Language: English - Date: 2008-03-15 02:27:48 Science Axiology Epistemology Reasoning Thought Reason Aesthetics Truth Logic Philosophy Knowledge Branches of philosophy
834	Fuzzy Logic: BriefTowards GeneralNeed for ProductHow to Tell When a Product of Two Partially Ordered Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2011-02-18 23:00:53 Non-classical logic A1 A2 Logic Mathematics Artificial intelligence Logic in computer science Fuzzy logic
835	The MULTITUDE Traffic Simulation Primer The MULTITUDE Traffic Simulation Primer How to use traffic simulation – the most urgent issues. MULTITUDE: develop, implement and promote the use of Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Scientific modeling Traffic simulation Simulation Logic simulation Application software Traffic flow Electronics Microsimulation Deterministic simulation Electronic design automation Science Simulation software
836	Political Analysis Advance Access published June 5, 2006 doi:pan/mpj019 Set Relations in Social Research: Evaluating Their Consistency and Coverage Add to Reading List Source URL: www.socsci.uci.edu Language: English - Date: 2006-06-05 12:50:42 Rough set Theoretical computer science Fuzzy set Set theory Mathematical logic Charles C. Ragin Causality Level of measurement Logic Fuzzy logic Science
837	Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2011-05-16 06:51:51 Mathematical series Logic in computer science Mathematical logic Rewriting Unification Characterizations of the exponential function Mathematics Mathematical analysis Theoretical computer science
838	CONTEMPORARY SCIENCE EDUCATION RESEARCH: SCIENTIFIC LITERACY AND SOCIAL ASPECTS OF SCIENCE Add to Reading List Source URL: www.esera.org Language: English - Date: 2012-07-11 12:31:38 Science education Critical thinking Logic Literacy Scientific literacy Standards-based education Argumentation theory Environmental education Education Knowledge Learning
839	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
840	TECHNICAL REPORT R-372 April 2013 Transportability across studies: A formal approach Judea Pearl and Elias Bareinboim∗ Add to Reading List Source URL: ftp.cs.ucla.edu Language: English - Date: 2013-04-12 16:17:24 Conditionals Philosophy of science Variable Independence Science Logic Mutual information Instrumental variable Mathematics Information theory Causality

UPDATE